√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

簡體版 繁體版
Login Sign Up

automating reasoning in Chinese

Pronunciation:
How to pronounce "automating reasoning""automating reasoning" in a sentence

Translationmobile phoneMobile

  • 自動推論

Examples

  • Automated reasoning and equation solving with the characteristic set method
    基于特征列方法的自動推理與方程求解
  • Alti1ough neuial network gets a satistw soluhon of prob1em , it is not deted to use ned ned solving problem of automated reasoning
    盡管神經(jīng)網(wǎng)絡(luò)尋找到的解是一個滿意解，但這不影響我們考慮將神經(jīng)網(wǎng)絡(luò)技術(shù)應(yīng)用于自動推理理論與方法中。
  • In this thesis , reasning based medel and resolution principle are deeply studied , and using netal network partly driplement automated reasoning
    本文在對命題邏輯系統(tǒng)的模型推理和歸結(jié)原理研究的基礎(chǔ)上，嘗試?yán)蒙窠?jīng)網(wǎng)絡(luò)部分實現(xiàn)自動推理。
  • Engineers have yet to solve fundamental problems involving robotic perception and world modeling , automated reasoning , manipulation of objects and locomotion
    工程師還有很多根本的問題尚未解決，包括機器人的知覺、如何建立周遭環(huán)境的模型、自動推理、物品操作和行進方式等。
  • It can be extended to fuzzy logic systems and some lattice - valued logic systems . 3 . the study on automated reasoning a new automated reasoning method based on path searching was proposed
    2 、提出一種利用神經(jīng)邏輯單元動態(tài)地構(gòu)造神經(jīng)網(wǎng)絡(luò)的算法來對一些邏輯系統(tǒng)中的邏輯公式的真值進行計算。
  • The normal form theories can keep the intuition relationship between the complete normal form and the truth table , which only keeps in classical 2 - valued logic system . the tableau system can act as the automated reasoning system in incomplete information environments
    該范式理論能夠在三值環(huán)境下依舊保留等值完全范式與真值表? ?對應(yīng)的直觀關(guān)系，同時，建立的表推演系統(tǒng)可作為不完全信息的自動推演系統(tǒng)。
  • Based on the production of other researchers such as professor xu yang and professor qin keyun , this paper discusses the structure and properties of lattice implication algebra , tautologies in some lattice - valued systems , automated reasoning methods , lattice - valued prepositional logic system
    本文的工作是在徐揚教授、秦克云教授等研究成果的基礎(chǔ)上，對格蘊涵代數(shù)的性質(zhì)、結(jié)構(gòu)、格值命題邏輯系統(tǒng)中的重言式、自動推理方法、格值命題邏輯系統(tǒng)等進行了一些研究。
  • Par method can explain the whole process of " problem - program " as well as improve substantially the programming skills of students ; about the implement technology , the popular generic paradigm is incorporated and the results in ai ( knowledge representation and automated reasoning ) are used , which enables the system to be a truly " open system " with infinitely many problems and solutions , instead of just a compilation of fixed ones ; about the function of the system , it incarnates the constructivism and it has excellent human - machine interface , concurrence , and openness
    Par方法可以說清“問題程序”的全過程，可以解決現(xiàn)有程序設(shè)計教學(xué)存在的根本問題，幫助學(xué)習(xí)者實質(zhì)性地提高程序設(shè)計的能力；在實現(xiàn)技術(shù)方面，借鑒了當(dāng)代流行的泛型思想，并將人工智能在知識表示、自動推理等研究中形成的思想方法和成果應(yīng)用于程序設(shè)計icai系統(tǒng)的開發(fā)，使得系統(tǒng)具有一個既有問題又有解答的無限題庫，這些解答是由自動推理產(chǎn)生的而不再是固定問題、答案的堆砌；在系統(tǒng)功能方面，充分體現(xiàn)了建構(gòu)主義思想，具有良好的人機交互性、并發(fā)性和開放性。
  • Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm , the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning , or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ) , which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc . hi the course of systematic research , we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content , we select par method as the main content
    本系統(tǒng)選用薛錦云教授的par方法為主要教學(xué)內(nèi)容，應(yīng)用人工智能的知識表示和自動推理原理及泛型思想，使得系統(tǒng)具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導(dǎo)，實現(xiàn)了無限題庫，可以自動生成與典型例題類似的問題給學(xué)生求解并給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學(xué)生學(xué)習(xí)；也可通過自動推理根據(jù)用戶的實際做題情況實時給出提示，交互式地幫助學(xué)生學(xué)習(xí)算法程序設(shè)計；學(xué)生可以從問題庫中獲得練習(xí)，并調(diào)用轉(zhuǎn)換器，將自己的apla程序轉(zhuǎn)化為可執(zhí)行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統(tǒng)的研制過程中，我們深入研究了系統(tǒng)的各方面相關(guān)知識，并進行了多方面的創(chuàng)新：在教學(xué)內(nèi)容方面，首次選用par方法為主要內(nèi)容。
What is the meaning of automating reasoning in Chinese and how to say automating reasoning in Chinese? automating reasoning Chinese meaning, automating reasoning的中文，automating reasoning的中文，automating reasoning的中文，translation, pronunciation, synonyms and example sentences are provided by ichacha.net.